«ART» & FLE
نویسندگان
چکیده
منابع مشابه
Exploring Relational Structures Via FLE
Designing ontologies and specifying axioms of the described domains is an expensive and error-prone task. Thus, we propose a method originating from Formal Concept Analysis which uses empirical data to systematically generate hypothetical axioms about the domain, which are represented to an ontology engineer for decision. In this paper, we focus on axioms that can be expressed as entailment sta...
متن کاملA compar investigati hand K-Fle
n: The most important aims of root canal preparation are the removal of vital emaining necrotic debris and infected dentin, eliminating the bulk of bacteria root canal system. The aim of this study was to compare the cleaning efficacy of files and rotary RaCe and K3 instruments in root canal preparation. and Methods: A total of 60 single rooted teeth with maximum curvature of cted and divided i...
متن کاملComputing Least Common Subsumers for FLE+
Transitive roles are important for adequate representation of knowledge in a range of applications. In this paper we present a first algorithm to compute least common subsumers in a description logic with transitive roles.
متن کاملTrends of Inference Considering Extended Fuzzy Logic (FLe)
The introduction of fuzzy logic in 1965 has been one of the main advancements in the last several decades in different subjects and especially in control theory [1]. Fuzzy logic has given large deals to reasoning, and clearly, shows its applicability in many areas to solve different problems concerning approximate reasoning. However, in large measure what remains unrecognized is that fuzzy logi...
متن کاملA Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions
In this paper, we investigate cumulated clauses on a set of attributes consisting of concept descriptions of the description logic FLE . This kind of expression is useful for describing the attribute logic of contexts where the attributes can be seen as FLE concept descriptions. We provide a deduction calculus for this type of expressions and prove its soundness and completeness.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cadernos de Letras da UFF
سال: 2013
ISSN: 2447-4207,1413-053X
DOI: 10.22409/cadletrasuff.2013n47a331